|
|
Statická analýza počítačových sítí
Hozza, Tomáš ; Veselý, Vladimír (oponent) ; Ryšavý, Ondřej (vedoucí práce)
Některé problémy v konfiguracích síťových zařízení jsou těžko identifikovatelné. Důležitou částí mnoha konfigurací jsou přístupové seznamy, ve kterých konflikty mezi pravidly mohou způsobit mezery v bezpečnostní politice nebo v kvalitě služeb. Tato práce je zaměřena právě na identifikaci a klasifikaci konfliktů mezi pravidly přístupového seznamu jednoho zařízení. Tento úkol není triviální, pokud chceme identifikovat všechny možné druhy konfliktů. V práci je uveden optimalizovaný algoritmus na kompletní analýzu přístupového seznamu s využitím binárních prefixových stromů, založený na existujícím výzkumu Baboescu a Varghese. S jeho použitím byl implementován nástroj schopný detekovat konflikty mezi pravidly přístupového seznamu zařízení Cisco, HP nebo Juniper. Kvůli menším paměťovým nárokům jsou bitové vektory v prefixových stromech komprimované WAH kompresní metodu. Implementovaný nástroj byl otestován s ohledem na správnost a výkonnost. Testy potvrdily potenciál použitého řešení výrazně urychlit analýzu přístupových seznamů.
|
|
|
Automated Inference of User Interface for NETCONF Protocol
Man, Jakub ; Orsák, Michal (oponent) ; Tisovčík, Peter (vedoucí práce)
This thesis focuses on creating a user-friendly user interface for devices that use the NETCONF protocol for configuration. A web user interface was selected to make using the user interface simple and for it to not require any additional installation. In this thesis, a user interface with a plugin architecture and with a NETCONF library was created. The NETCONF library allows users to connect devices, save them, group devices in profiles and to modify the device's configuration. The plugin architecture allows device manufacturers to provide a graphical user interface that does not require additional user training, without having to develop a whole new application.
|
|
|
Automated Inference of User Interface for NETCONF Protocol
Man, Jakub ; Orsák, Michal (oponent) ; Tisovčík, Peter (vedoucí práce)
This thesis focuses on creating a user-friendly user interface for devices that use the NETCONF protocol for configuration. A web user interface was selected to make using the user interface simple and for it to not require any additional installation. In this thesis, a user interface with a plugin architecture and with a NETCONF library was created. The NETCONF library allows users to connect devices, save them, group devices in profiles and to modify the device's configuration. The plugin architecture allows device manufacturers to provide a graphical user interface that does not require additional user training, without having to develop a whole new application.
|
|
|
Statická analýza počítačových sítí
Hozza, Tomáš ; Veselý, Vladimír (oponent) ; Ryšavý, Ondřej (vedoucí práce)
Některé problémy v konfiguracích síťových zařízení jsou těžko identifikovatelné. Důležitou částí mnoha konfigurací jsou přístupové seznamy, ve kterých konflikty mezi pravidly mohou způsobit mezery v bezpečnostní politice nebo v kvalitě služeb. Tato práce je zaměřena právě na identifikaci a klasifikaci konfliktů mezi pravidly přístupového seznamu jednoho zařízení. Tento úkol není triviální, pokud chceme identifikovat všechny možné druhy konfliktů. V práci je uveden optimalizovaný algoritmus na kompletní analýzu přístupového seznamu s využitím binárních prefixových stromů, založený na existujícím výzkumu Baboescu a Varghese. S jeho použitím byl implementován nástroj schopný detekovat konflikty mezi pravidly přístupového seznamu zařízení Cisco, HP nebo Juniper. Kvůli menším paměťovým nárokům jsou bitové vektory v prefixových stromech komprimované WAH kompresní metodu. Implementovaný nástroj byl otestován s ohledem na správnost a výkonnost. Testy potvrdily potenciál použitého řešení výrazně urychlit analýzu přístupových seznamů.
|
host ::
RSS.